<?php
isset($a);